Explicit-Constraint Branching for Solving Mixed- Integer Programs
نویسندگان
چکیده
This paper develops a new generalized-branching technique called “explicitconstraint branching” (ECB) to improve the performance of branch-andbound algorithms for solving mixed-integer programs (MIPs). ECB adds structure to a MIP, in the form of auxiliary constraints and auxiliary integer variables, to allow branching on groups of (original) integer variables that would not otherwise be possible. Computational tests on three sets of realworld MIPs demonstrate that ECB often improves solution times over standard branch and bound, sometimes dramatically.
منابع مشابه
A mixed-integer branching approach for very small formulations of disjunctive constraints
Abstract We study the existence and construction of very small formulations for disjunctive constraints in optimization problems: that is, formulations that use very few integer variables and extra constraints. To accomplish this, we present a novel mixed-integer branching formulation framework, which preserves many of the favorable algorithmic properties of a traditional mixed-integer programm...
متن کاملFaster integer-feasibility in mixed-integer linear programs by branching to force change
Branching in mixed-integer (or integer) linear programming requires choosing both the branching variable and the branching direction. This paper develops a number of new methods for making those two decisions either independently or together with the goal of reaching the first integer-feasible solution quickly. These new methods are based on estimating the probability of satisfying a constraint...
متن کاملSCIP: solving constraint integer programs
Constraint integer programming (CIP) is a novel paradigm which integrates constraint programming (CP), mixed integer programming (MIP), and satisfiability (SAT) modeling and solving techniques. In this paper we discuss the software framework and solver SCIP (Solving Constraint Integer Programs), which is free for academic and non-commercial use and can be downloaded in source code. This paper g...
متن کاملOn the Value of Binary Expansions for General Mixed-Integer Linear Programs
We study the use of binary variables in reformulating general mixed-integer linear programs. We show that binary reformulations result in problems for which almost all the binary variables replacing a general integer variable need to be explored during branching. We also give computational results on the performance of such reformulations in solving the mixed-integer programs, which support our...
متن کاملExperiments with Branching using General Disjunctions
Branching is an important component of the branch-and-cut algorithm for solving mixed integer linear programs. Most solvers branch by imposing a disjunction of the form“xi ≤ k ∨ xi ≥ k + 1” for some integer k and some integer-constrained variable xi. A generalization of this branching scheme is to branch by imposing a more general disjunction of the form “πx ≤ π0 ∨ πx ≥ π0 + 1.” In this paper, ...
متن کامل